The Amaranth hardware description language
amaranth-lang.org·20h·
Discuss: Hacker News
🔍FPGA Verification
Relative Completeness of Incorrectness Separation Logic
arxiv.org·1d
🧠Separation Logic
Transaction Healing: Scaling Optimistic Concurrency Control on Multicores
muratbuffalo.blogspot.com·11h·
Discuss: www.blogger.com
⚡Hardware Transactional Memory
Why Computer Science Is No Good, Redux
cacm.acm.org·1d
🎯Performance Proofs
How the Lean language brings math to coding and coding to math
amazon.science·1d·
Discuss: Hacker News
🔬Lean
PQCSA: A Gentle Introduction to Code Based PKE
esat.kuleuven.be·2d
⚗️Algebraic Coding
Hall Effect Sensor With Arduino | Hall effect sensor | Ardui
hackster.io·17h
⚙️DIY Electronics
2025 One Hertz Challenge: LoRaSense RGB Pi HAT
hackaday.com·18h
🔌Single Board PC
Minimize AI hallucinations and deliver up to 99% verification accuracy with Automated Reasoning checks: Now available
aws.amazon.com·8h·
Discuss: Hacker News
⚡Proof Automation
I may be building a new system soon, but not "cutting edge"
forums.anandtech.com·1h
🧲RISC-V Archaeology
Congatec Board Controller support into the upstream Linux Kernel
bootlin.com·8h
⚡Homebrew CPUs
Cactus Language • Pragmatics 9
inquiryintoinquiry.com·2d
📝Concrete Syntax
How To Solve Every Programming Problem
blog.codeminer42.com·4h
📐Interval Arithmetic
An easy-to-implement, arena-friendly hash map
nullprogram.com·2h·
Discuss: Lobsters
🔐Hash Functions
Talk Highlights: Documenting the Design of the Linux Kernel – Chuck Wolber, The Boeing Company; Kate Stewart, The Linux Foundaiton; Gabriele Paoloni, Red Hat
elisa.tech·16h
📜Proof Carrying Code
Ada on RP2350
synack.me·23h
🎯Emulation Accuracy
Radshield: Software Radiation Protection for Commodity Hardware in Space
radshield.github.io·6h·
Discuss: Hacker News
🛡️Error Boundaries
Building a Factory Test Framework for ECU Low-Level APIs in CAN-Based HIL Systems
hackernoon.com·2d
🔍FPGA Verification
Reverse-Engineering Game Boy Advance Games (and General Advice)
nytpu.com·23h
🎮Game Decompilation
miniHDL: A Python Hardware Description Language DSL
nicholas.carlini.com·5d·
Discuss: Hacker News
⚡Circuit Design